formal theory

Nonequilibrium statistical density operator (ⅱ) & an application of formal theory

非平衡统计密度算符（Ⅱ）&形式理论的应用

The formal theory for the reflection of sound waves

声波反射的形式理论

A new formal theory is proposed by extending set theory with in relation and intension structure .

为此，提出了一种新的形式理论，其在集合论的基础上增加了in关系和内涵结构。

The idea and method of attitude measurement based on X-ray Pulsars are given by technology framework and Formal Theory description .

X射线脉冲星姿态测量的技术框架与形式化描述从总体上给出了X射线脉冲星姿态测量的理论思想与方法。

The algorithm proposed in this paper excels existing algorithms of this kind in performance via formal theory analysis and contrast in performance test .

通过形式化理论分析和性能测试，该算法能有效满足根据视频热门度变化来动态调整带宽消耗的需求，且在性能上优于现有同类算法。

It is a formal theory of computability in the same sense as classical logic is a formal theory of truth .

它是可计算性的形式理论，正如经典逻辑是真理的形式理论。

Based on the formal theory of running coupling constant in QCD , the formation of function f (?) has been obtained , f (?)

本文在QCD的有效耦合常数形式理论的基础上，得到了这一理论中的函数f（g~（-2））的具体形式f（？）

The first section , risk and securities corporation risk , as the introduction , expatiates the definition of financial risk and formal theory of it .

第一章风险与证券公司风险，从理论上阐述金融风险的定义和传统的金融风险形成原理。

Belief change is a formal theory to represent the dynamic evolvement rules of knowledge and belief . And , it is also an important field of computer software and theory research .

信念更新是刻画知识与信念动态演化规律的一种形式理论，是计算机软件与理论研究的重要内容。

Finally , we examine the relationship between abduction and probability with the hope of establishing a probability-based formal theory of abductive pragmatics .

最后，我们探讨了引理推理与概率的关系，期望建立以概率论为基础的形式化的引理语用学。

The classical congestion control algorithms for binary ABR service mainly based on heuristics and do not have a formal theory to support them , thus they have two drawbacks .

但是，传统的二进制ABR业务拥塞控制机制大多基于启发式法则而没有正式的理论支持，所以这些方法存在两个不足，一是队列长度和源端允许信元速率呈现振荡性；

On the source of act duty , there exists a theoretic evolution process which has developed from formal theory to substantial theory , and then to combination of the above two .

关于作为义务的来源，在刑法理论上存在着从形式的作为义务理论到实质的作为义务理论再到形式与实质相统一的作为义务理论的演变过程。

A computation model , called procedure scheme , for convergent infinite computations was proposed , on the basis of classical Turing machine and formal theory sequences and their limits .

还基于经典计算模型图灵（Turing）机和形式系统序列及其极限，提出了收敛无穷计算的模型，称为过程模式。

Based on this model , the formal theory model of service composition based on finite state automata with condition cFSA is studied . The algebraic property and implementing method of the service composition model are studied .

在该服务理论模型的基础上提出了一种基于有限状态自动机的服务组合形式化模型，并给出了该模型的代数性质和实现方法。

As the formal theory which studies how to seek optimal strategies for cooperation in economic conflicts , economic game theory provides a general operable structure pattern to analyze the dialectic relationship between economic competition and coordination .

经济博弈论是在经济领域中研究如何在冲突局势下寻求合作的最优策略的形式理论，它为分析经济中竞争与协同之间的辩证关系提供了一种普遍的可操作的结构模式。

Author sums the blasting demolition of constructions up as two basic types , collapsing directionally or piece by piece , or their combination , and puts forward two kinds of formal theory on blasting demolition .

笔者把建筑物爆破拆除归纳成两种基本方式&定向倾倒和逐段塌落，或它们的结合，并提出了这两种爆破拆除方式的维象理论。

Combined with the problem of complicated schema design in Tianjin air craft maintaining base of Air China , an analytical method about same problems directed by formal theory and its PFC realization in PB are suggested in this paper .

结合国航天津分公司航修基地管理信息系统开发过程中遇到的复杂模式设计问题，本文给出了在规范化理论指导下同类问题的分析方法，并且给出了PB环境下的PFC实现。

( 5 ) Quantum theory and formal quantum theory .

量子理论与形式量子理论。

EFL Learning : Formal Language Theory , Learning Theory and Evolutionary Dynamics

形式语言理论、学习理论与演化动力学&语言进化论框架下的英语学习

Active XML Rewriting Algorithm Based on Formal Language Theory

基于形式语言理论的ActiveXML重写算法

Historical Logic of Legal Formal Rationality Theory and Its Revelation

法律形式理性化的历史逻辑及其经验启示

However , a good firm theory should be a fusion of formal scientific theory and live artistic practice .

然而，企业经济学不仅应当是规范的科学理论，而且更重要的应当是鲜活的艺术实践。

Nida 's formal correspondence theory and Pound 's English version of Chinese classic poetry

从庞德英译中国古诗看奈达的形式对应理论

Formal Rule Theory , Mental Model Theory and Probability Theory in Conditional Reference : A Comparative Study of the Three Theories

形式规则、心理模型与概率理论&条件推理中三种理论模型的比较研究

Based on the efficiency rules of commercial trade , the formal investigation theory has established the monopoly position in the academia .

根据商行为的效率优先原则，形式审查制度在学界的统治地位日渐形成。

It is , in fact , the only extensive formal deductive theory of religion that I know of .

事实上，它是我知道的唯一的广泛的正式的，演绎的宗教理论。

This is strikingly different from formal linguistic theory which focuses on studying the relations between the linguistic units within the linguistic system .

这与将语言单位之间内部关系的研究放在首要位置的形式主义语言理论截然不同。

This article attempts to demonstrate my belief that you don 't need to know a lot about formal parsing theory to be able to parse !

本文力图阐明我的理念：您并不需要了解很多有关正规的解析理论就能进行解析！

The results showed : ( 1 ) the solution of transitive reasoning with spatial and temporal contents supported the mental model theory , not the formal rule theory .

结果发现：（1）空间位置和时间关系的推理结果都支持心理模型理论，而不支持形式规则理论。

Whether we should follow the principle of truth value or adopt the principle of epistemology is the watershed between the formal reasoning theory and the new proof theory .

论证的评估是坚持真值标准，还是采用认识论标准是形式推理理论与新的论证理论的分水岭；